Modular construction of normal basis
نویسندگان
چکیده
منابع مشابه
Construction of a Normal Basis by Special Values of Siegel Modular Functions
We consider certain abelian extensions K, k1 of Q(e2πi/5) and show by a method of Shimura that a normal basis of K over k1 can be given by special values of Siegel modular functions.
متن کاملModular Construction of DTE Policies
This paper describes a tool which composes a policy for a fine-grained mandatory access control system (DTE) from a set of mostly independent policy modules. For a large system with many services, a DTE policy becomes unwieldy. However, many system services and security extensions can be considered to be largely standalone. By providing for explicit grouping, namespaces, and globbing by namespa...
متن کاملModular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, comple...
متن کاملUniversit at Augsburg Modular Construction of Fast Asynchronous Systems Modular Construction of Fast Asynchronous Systems
A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case eeciency of asynchronous systems using dense time, and it is shown that one can equivalently use discrete time. The resulting testing-preorder is characterized with some kind of refusal traces. Furthermore, the testing-preorder is reened to a precongruence for standard operators known from process a...
متن کاملDevelopment of a weighted leanness measurement method in modular construction companies
This paper outlines the development of an improved approach to the use of lean tools and techniques to improve the performance of manufacturing enterprises. Several research studies attempt to measure the overall leanness score of the manufacturing process; however, they failed to consider the interdependent relationships between lean performance metrics and considered all performance measures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mathematical Society of Japan
سال: 1994
ISSN: 0025-5645
DOI: 10.2969/jmsj/04620235